$\forall$$n$, $m$:$\mathbb{N}$, ${\it Id\_list}$:(Id List), ${\it namer}$:Namer($n$+$m$;${\it Id\_list}$).
\\[0ex]namer{-}shift($n$;${\it namer}$) $\in$ Namer($m$;${\it Id\_list}$)